منطق اثبات ها
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم ریاضی
- نویسنده مهدیه گل رنگی
- استاد راهنما مجتبی آقایی محمود بینای مطلق
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1386
چکیده
هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بیان زمینه های تاریخی صوری سازی اثبات ها دستگاه cp را معرفی کرده و قضیه تمامیت حسابی آن را ثابت می کنیم. همچنین نشان می دهیم که cp قابلیت تحقیق منطق موجه s4 را در خود دارد. یکی از گسترش های cp منطق اثبات ها و اثبات پذیری cpp است این دستگاه از ترکیب هم زمان وجه اثبات پذری و احکام شامل ترم های اثبات به دست می آید. پس از معرفی مدلهای کریپکی، تمامیت حسابی cpp ثابت می شود. در خاتمه منطق اثبات ها برای ha مطرح می گردد . قواعد پذیرفتنی در ha که در واقع همان قواعد پذیرفتنی در ipc می باشد در اصل بندی کامل این دستگاه نقش مهمی دارا هستند.
منابع مشابه
اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر
هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...
متن کاملتحلیل و اثبات قیاس مساوات با تکیه بر مبحث نسب اربعه در منطق قدیم
«دو چیز مساوی با یک چیز، خود با هم مساوی‌اند»؛ این جملة معروف از دوران یونان باستان و شاید پیش از آن به‌مثابة اصلی بدیهی، در میان عام و خاص پذیرفته شده است. با ورود منطق به حوزة اسلامی، ابن سینا و پس از او اغلب منطق‌دانان مسلمان می‌کوشند تا آن را به مدد قیاس ارسطویی و یا روش‌های دیگر اثبات کنند، که به نظر می‌آید کوشش آنها چندان ثمری نداشته است و مورد نقد و ایراد است. بحث پیرامون این قیاس و ...
متن کاملاثبات استعاره‌های دوسویه بر اساس فرضیه‌ی منطق فازی (مطالعه‌ی موردی: تصویر ابر در شعر منوچهری)
مفاهیم و مجموعه‌ها در منطق ارسطویی دارای دو عضو صفر و یک است که در اصطلاح به آن منطق دو ارزشی می‌گویند. امّا بر اساس منطق فازی همان مفاهیم به مجموعه‌ای با بی‌نهایت عضو که دارای مقادیری از صفر تا یک هستند، تبدیل می‌شود؛ در واقع، این منطق به‌جای پرداختن به صفر و یک، از صفر تا یک را مورد بررسی و تحلیل قرار می‌دهد و لذا آن‌چه در فاصله‌ی پرداختنِ صفر تا یک نمود می‌یابد، وجود و حضور مرزهای خاکستری، هم...
متن کاملنقد و بررسی کارآمدی منطق اثبات گرایانه درحوزه انسان پژوهی براساس اندیشه اسلامی
دگرگونی روش تحقیق از قیاس‌گرایی به استقراگرایی و در نهایت تعمیم آن از حوزه مطالعات طبیعت به قلمرو انسان با پیش‌فرضی اثبات‌گرایانه، زمینه‌ساز پیدایش علوم انسانی جدید گردید که متکفل انسان‌پژوهی علمی است. در این مقاله ناکارآمدی تئوریک و عملی منطق اثبات‌گرایانه در قلمرو انسان‌پژوهی در جامعه اسلامی با روش تحلیلی - استنباطی و تفسیر مفهومی اسناد، بررسی و نشان داده شده است. از لحاظ نظری چهار دلیل برای ...
متن کاملجنبه هایی از منطق تلفیقی اثباتها و اثبات پذیری
در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: jb (صورت صریح منطق موجه براوری kb)، jgl (صورت صریح منطق اثبات پذیری گودل لوب gl) و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...
منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023